Growing into deduction

Embedding Deduction Modulo into a Prover

Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such as the polarized resolution modulo. We show how to combine this method with more traditional ordering restrictions. Interestingly, no compatibility between the rewriting and the ordering is requested to ensure complete...

Growing yeast into cylindrical colonies.

Microorganisms often form complex multicellular assemblies such as biofilms and colonies. Understanding the interplay between assembly expansion, metabolic yield, and nutrient diffusion within a freely growing colony remains a challenge. Most available data on microorganisms are from planktonic cultures, due to the lack of experimental tools to control the growth of multicellular assemblies. He...

Growing into a different brain

Affiliations VU University Amsterdam, Department of Clinical Neuropsychology, Amsterdam, The Netherlands VU University Medical Center, Department of Physics and Medical Technology, Amsterdam, The Netherlands VU University Medical Center, Department of Pediatrics, Amsterdam, The Netherlands VU University Medical Center, Department of Pediatric Neurology, Amsterdam, The Netherlands Danone Researc...

Growing into a different brain

Integrating Logic into Bayesian Networks Using Natural Deduction Proofs

Natural deduction is a logical system that closely mimics the natural human reasoning process, using not axioms but rather assumptions that are made and later discharged when they are no longer needed. Logical proofs like these, however, lack the ability to handle varying levels of uncertainty and the contradictions that may arise when they are applied to real world situations. The goal of the ...